- type equivalence
- 类型等价
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
type equivalence
Look at other dictionaries:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Equivalence logique — Équivalence logique En logique classique, deux propositions P et Q sont logiquement équivalentes ou équivalentes si P et Q ont simultanément même valeur de vérité; c est à dire que P et Q sont vraies (resp. fausses), dans exactement les mêmes… … Wikipédia en Français
Equivalence ricardienne — Équivalence ricardienne L’« équivalence ricardienne » ou la « neutralité ricardienne » est une théorie économique. Elle est également appelée « effet Ricardo Barro » ou « théorème d équivalence de Ricardo… … Wikipédia en Français
Equivalence faible — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
Equivalence forte — Grammaire formelle Une grammaire est un formalisme permettant de définir une syntaxe et donc un langage formel, c est à dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en… … Wikipédia en Français
Equivalence principle — General relativity|cTopic=Fundamental conceptsThe equivalence principle is one of the fundamental background concepts of the General Theory of Relativity. For the overall context, see General relativity.In the physics of relativity, the… … Wikipedia
Équivalence logique — En logique classique, deux propositions P et Q sont logiquement équivalentes ou équivalentes si P et Q ont même valeur de vérité; c est à dire que P et Q sont vraies (resp. fausses), dans exactement les mêmes situations. On écrit Qui se lit … Wikipédia en Français
Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Équivalence ricardienne — L’« équivalence ricardienne » ou la « neutralité ricardienne » est une théorie économique. Elle est également appelée « effet Ricardo Barro » ou « théorème d équivalence de Ricardo Barro ». Ce théorème a… … Wikipédia en Français
Équivalence d'homotopie — En mathématiques, une équivalence d homotopie est une application admettant une réciproque à homotopie près. Autrement dit, deux applications sont des équivalences d homotopie réciproques si leurs composées sont homotopes à l identité sur leurs… … Wikipédia en Français
